Vera相关论文
【连载七:芦荟】芦荟(Aloe vera)别名龙角、油葱、库拉索芦荟,为百合科芦荟属肉质草本。芦荟种类不同,差异也大,如贝恩思芦荟,可高......
Vera读美文：生活的河流有时风平浪静，有时跌宕起伏．只有守住心灵的宁静，才能处之泰然；守住心灵的宁静．犹如品味深山间的一汪石潭，宁静而致......
目的: 了解内皮素-1(ET-1)影响大鼠睾丸离体间质细胞睾酮分泌的可能作用机理,为男性不育症治疗提供一定的理论基础. 方法: 采用大......
近日,沃尔沃卡车与渡轮物流公司DFDS合作,在实际应用中使用Vera,在DFDS的物流中心与港口码头之间借助互联系统连续运输货物,从而将......
利用自主开发的确定论数值反应堆物理计算程序NECP-X对VERA(virtual environment for reactor application)9#基准题进行全堆芯精......
随着数字逻辑设计越来越复杂，验证的难度也越来越大。根据一款以太网交换芯片的项目完成所总结的经验，提出了一种基于Vera的电路行为......
随着数字逻辑设计越来越复杂，验证的难度也越来越大。根据一款以太网交换芯片的项目完成所总结的经验，提出了一种基于Vera的电路行为......
随着设计复杂度的不断增加和设计规模的不断增大,传统的验证工具已难以适应当前功能验证的要求.Vera为验证增添了强大的语言能力.......
随着设计复杂度的不断增加和设计规模的不断增大,传统的验证工具已难以适应当前功能验证的要求.Vera为验证增添了强大的语言能力.......
根据不良信息过滤的目标及特点，设计了一个基于神经网络的不良信息实时监测原型系统，并用软件实现。在系统的决策支持模块中，采用了一......
本文首先介绍了SOC软硬件协同验证方法及其平台Seamless CVE的工作原理和流程，进而在此基础上搭建一个高效的USBA-device验证平台，以......
黄连木种子小蜂（Eurytoma plotnikoui Nikolskaya）属于膜翅目（Hymenoptera）广肩小蜂科（Eurytomidae）,主要危害漆树科黄连木属的黄连木（Pis......
分别以库拉索芦荟(Aloe barbadensis Mill.)和中华芦荟(Aloe vera L.var.Chinesis)老叶、中叶、嫩叶的整个叶片及叶片中间凝胶部分......
本文主要阐述了应用Open vera Asseriton(OVA)技术搭建LCD的时序验证平台,介绍了该技术的主要特点及其检查库的使用方法,最后以LCD......
在集成电路设计中,功能验证是主要的瓶颈之一.据估计,验证工作占设计工作开销的60%以上.Synopsys公司VMT(Vera验证模型技术)工具可......
在集成电路设计中,功能验证是主要的瓶颈之一.据估计,验证工作占设计工作开销的60%以上.Synopsys公司VMT(Vera验证模型技术)工具可......
VERA VIEDERMANN是一名奥地利的年轻设计师，她认为，设计师是一份创意代理工作，作品通过制造商或生产者的渠道到达客户端。创作过程中，......
阿月浑子（Pistacia vera L．）又称开心果，是漆树科（Anacardiaceae）黄连木属（Pistacia L．）乔木。是世界著名的干果及木本油料树种。阿月浑子果......
本文首先介绍断言验证技术,对断言的特点及使用方法进行详细介绍,然后讲解OVA的语法结构,以及如何在测试平台中加入断言文件,并以......
美国人中流行这样一句话：未婚女人想要一件Vera Wang;离婚女人想念那套Vera Wang；再婚的女人庆幸可以再拥有一件Vear Wang.有着“婚......
针对排除芯片设计流程中RTL级的错误时，需要花费大量时间看仿真波形与日志文件的问题，本文介绍了基于断言的硬件功能验证技术的基础，......
随着当前的半导体工艺水平步入深亚微米阶段，芯片的集成度空前提高，芯片不断增加的复杂性对于验证和测试工作提出了很高的要求。 ......
为了验证反应堆物理软件和方法的计算能力,美国CASL(Consortium for Advanced Simulation of LWRs)项目提出了VERA(Virtual Enviro......
在Internet发展初期,网络中的业务主要是FTP、WWW、E-mail等基于数据传输的应用,它们并不关心服务质量。但随着Internet技术的发展......
